Loi de Morgan (logique du premier ordre) : $$\begin{align}\lnot(\varphi\lor\psi)&\equiv\lnot\varphi\land\lnot\psi\\ \lnot(\varphi\land\psi)&\equiv\lnot\varphi\lor\lnot\psi\end{align}$$
Théorie des ensembles
Loi de Morgan (théorie des ensembles) : $$\begin{align}\bigcup^{+\infty}_{i=1}A_i&=\left(\bigcap^{+\infty}_{i=1} A_i^C\right)^C\\ \bigcap^{+\infty}_{i=1}A_i&=\left(\bigcup^{+\infty}_{i=1} A_i^C\right)^C\end{align}$$